MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

Source URL: www.cs.princeton.edu

• Logic
• Mathematical logic
• Philosophy
• Modal logic
• Non-classical logic
• Philosophical logic
• Model theory
• Logic in computer science
• Intuitionistic logic
• Kripke semantics
• Multimodal logic
• Accessibility relation

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten

Source URL: www.iltp.de

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten

Source URL: www.cs.uni-potsdam.de

Plans, Actions and Dialogues using Linear Logic Lucas Dixon, Alan Smaill, Tracy Tsang Preprint: 20 Feb 2009 Abstract We describe how Intuitionistic Linear Logic can be used to provide a unified logical account

Source URL: dream.inf.ed.ac.uk

Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006

Source URL: www.itu.dk

• Logic in computer science
• Type theory
• Proof theory
• Classical logic
• Semantics
• Logical framework
• Propositional calculus
• Intuitionistic logic
• Negation
• Logic
• Mathematical logic
• Judgment

¨ Torben Brauner’s List of Publications Refereed Workshop and Conference Papers [1] T. Bra¨uner. A model of intuitionistic affine logic from stable domain theory. In S. Abiteboul and E. Shamir, editors, Proceedings o

Source URL: akira.ruc.dk

Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Jens Otten Institut f¨ ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

Source URL: www.jens-otten.de

Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract

Source URL: homepages.inf.ed.ac.uk

A Connection Based Proof Method for Intuitionistic Logic Jens Otten Christoph Kreitz

Source URL: www.jens-otten.de

Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation

Source URL: homepages.inf.ed.ac.uk